basis dimension vector space examples